Book Review: T. E. Forster. Set theory with a universal set: Exploring an untyped universe.
نویسندگان
چکیده
منابع مشابه
Church’s Set Theory with a Universal Set
A detailed and fairly elementary introduction is given to the techniques used by Church to prove the consistency of his set theory with a universal set by constructing models of it from models of ZF. The construction is explained and some general facts about it proved.
متن کاملCombining Type Theory and Untyped Set Theory
We describe a second-order type theory with proof irrelevance. Within this framework, we give a representation of a form of Mac Lane set theory and discuss automated support for constructing proofs within this set theory. One of the novel aspects of the representation is that one is allowed to use any class (in the set theory) as a type (in the type theory). Such class types allow a natural way...
متن کاملA Variant of Church’s Set Theory with a Universal Set in which the Singleton Function is a Set
A Platonistic set theory with a universal set, CUSι, in the spirit of Alonzo Church’s “Set Theory with a Universal Set,” is presented; this theory uses a different sequence of restricted equivalence relations from Church’s, such that the singleton function is a 2-equivalence class and hence a set, but (like Emerson Mitchell’s set theory, and unlike Church’s), it lacks unrestricted axioms of sum...
متن کاملFUZZY SOFT SET THEORY AND ITS APPLICATIONS
In this work, we define a fuzzy soft set theory and its related properties. We then define fuzzy soft aggregation operator that allows constructing more efficient decision making method. Finally, we give an example which shows that the method can be successfully applied to many problems that contain uncertainties.
متن کاملUniversal Mandelbrot Set as a Model of Phase Transition Theory
The study of Mandelbrot Sets (MS) is a promising new approach to the phase transition theory. We suggest two improvements which drastically simplify the construction of MS. They could be used to modify the existing computer programs so that they start building MS properly not only for the simplest families. This allows us to add one more parameter to the base function of MS and demonstrate that...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Notre Dame Journal of Formal Logic
سال: 1993
ISSN: 0029-4527
DOI: 10.1305/ndjfl/1093634660